Goto

Collaborating Authors

 possible sequence


Rubik's Cube solution unlocked by memorising 3915 final move sequences

New Scientist

A speedcuber has combined two commonly used final moves into one to solve a Rubik's cube A Rubik's cube solver has become the first person to show proof of successfully combining the final two steps of solving the mechanical puzzle into one move. The feat required the memorisation of thousands of possible sequences for the final step. Most skilled speedcubers – people who compete to solve Rubik's cubes with the most speed and efficiency – choose to solve the final layer of the cube with two separate moves that involve 57 possible sequences for the penultimate step and 21 possible sequences for the final move. Combining those two separate actions into a single move requires a person to memorise 3915 possible sequences. These sequences were previously known to be possible, but nobody is reported to have successfully achieved this so-called "Full 1 Look Last Layer" (Full 1LLL) move until a speedcuber going by the online username "edmarter" shared a YouTube video demonstrating that accomplishment.


Optimal Quantization for Batch Normalization in Neural Network Deployments and Beyond

arXiv.org Machine Learning

Quantized Neural Networks (QNNs) use low bit-width fixed-point numbers for representing weight parameters and activations, and are often used in real-world applications due to their saving of computation resources and reproducibility of results. Batch Normalization (BN) poses a challenge for QNNs for requiring floating points in reciprocal operations, and previous QNNs either require computing BN at high precision or revise BN to some variants in heuristic ways. In this work, we propose a novel method to quantize BN by converting an affine transformation of two floating points to a fixed-point operation with shared quantized scale, which is friendly for hardware acceleration and model deployment. We confirm that our method maintains same outputs through rigorous theoretical analysis and numerical analysis. Accuracy and efficiency of our quantization method are verified by experiments at layer level on CIFAR and ImageNet datasets. We also believe that our method is potentially useful in other problems involving quantization.